BigraphTalk: Verified Design of IoT Applications
نویسندگان
چکیده
منابع مشابه
IoT Design Challenges and the Social IoT Solution
David is GM, Hitachi Solutions; and Postgraduate Fellow and Honarary Associate University of Sydney. He has over 30 years of industry experience having held senior leaderships roles with recognised IT brands such as KPMG Consulting, Microsoft and Hitachi Solutions. A consummate entrepreneur David has created his own successful IT start-up, built it up to being a global award winning business an...
متن کاملCOLT Collaborative Delivery of Lightweight IoT Applications
Todays IoT solutions are typically delivered by domainspecific solution providers. In these solutions, components are highly customized for specific project requirements, limiting their users to the offerings of their providers. To overcome these limitations, we propose a novel mechanism that opens the market for OEMs and third-party developers. This paper introduces the IoT Application Market,...
متن کاملTechnology Trends and Applications of IoT System
あらまし 1991年のM. Weiser氏による Ubiquitous Computingの発表から 25年,Pervasive Computing, Ambient Intelligence と名前を変えて語られてきた概念が,近年,IoT (Internet of Things) として大きな注目 を浴びている.元々の Ubiquitous Computing はコンピュータが環境に溶け込むというユーザインタフェース の立場からの提案であったが,全ての物にコンピュータが埋め込まれる,つまり,コンピュータが遍在するとい う概念として捉えられてきた.この概念にセンサネットワークの要素を取り込んだのが IoTである.IoTシステ ムは製造業や農業等の産業分野,交通やエネルギー等の社会分野,健康管理や安全管理等の家庭分野など,あら ゆる分野への適用の可能性をもっている.また,国家レベルや企...
متن کاملVerified Design of an Automated Parking Garage
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents involving such garages have been reported. Many of these are related to safety issues in software. We apply verification techniques to develop a software design for an automated parking garage. This design meets a numb...
متن کاملFrom business modeling to verified applications
UML activity diagrams can be used to model business processes which are implemented in a software project. It is a worthwhile goal to automatically transform at least parts of UML diagrams into software. Automated code generation reduces the total amount of errors in a software project but the model itself can still violate specified requirements. A quality improvement is the usage of a model c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Internet of Things Journal
سال: 2020
ISSN: 2327-4662,2372-2541
DOI: 10.1109/jiot.2020.2964026